Linearity and iterator types for Gödel's System
نویسندگان
چکیده
System LI is a linear λ -calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of Gödel’s System T . System LI owes its power to two features: the use of a closed reduction strategy (which permits the construction of an iterator on an open function, but only iterates the function after it becomes closed), and the use of a liberal typing rule for iterators based on iterative types. In this paper, we study these new types, and show how they relate to intersection types. We also give a sound and complete type reconstruction algorithm for System LI .
منابع مشابه
Iterator Types
System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of Gödel’s System T . System L owes its power to two features: the use of a closed reduction strategy (which permits the construction of an iterator on an open function, but only iterates the function after it becomes closed), and the use of a l...
متن کاملA Geometry of Interaction Machine for Gödel's System T
Gödel’s System T is the simply typed lambda calculus extended with numbers and an iterator. The higher-order nature of the language gives it enormous expressive power—the language can represent all the primitive recursive functions and beyond, for instance Ackermann’s function. In this paper we use System T as a minimalistic functional language. We give an interpretation using a data-flow model...
متن کاملCharles: A Data Structure Library for Ada95
Associated with each data structure type is a separate iterator type, which allows you to visit each item in the container. In particular, an iterator abstracts away differences in specific container types, allowing you to view the collection simply as a sequence of items. A generic algorithm (for sorting, say) can be written in terms of an iterator, so that you can use the algorithm over any d...
متن کاملDesign of High Sensitivity and Linearity Microelectromechanical Systems Capacitive Tire Pressure Sensor using Stepped Membrane
This paper is focused on a novel design of stepped diaphragm for MEMS capacitive pressure sensor used in tire pressure monitoring system. The structure of sensor diaphragm plays a key role for determining the sensitivity of the sensor and the non-linearity of the output.First the structures of two capacitive pressure sensors with clamped square flatdiaphragms, with different thicknesses are inv...
متن کاملProblem Solving About Complex Systems: Differences Between Experts and Novices
This paper reports on a study of problem solving differences between scientific experts in the field of complex systems and novice undergraduate students. Significant differences were found both at the conceptual level and at the level of basic epistemological and ontological presuppositions and beliefs. It is suggested that helping students understand and use complex systems knowledge will req...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Higher-Order and Symbolic Computation
دوره 23 شماره
صفحات -
تاریخ انتشار 2010